Quine-McCluskey Method